English Computing Dictionary
◊ DEFINITE CLAUSE
definite clause
A {Horn clause} that has exactly one {positive
literal}.
(2000-01-24)